Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
501	BRICS RS-05-7 P. D. Mosses: Modular Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:07:46 Computing Logic in computer science Operational semantics Denotational semantics Semantics Programming language Expression Action semantics Monad Software engineering Theoretical computer science Programming language semantics
502	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic
503	Constraints Ian Miguel () Ian Gent, Andy Grayland, Chris Jefferson, Tom Kelsey, Lars Kotthoff, Steve Linton, Neil Moore, Peter Nightingale, Andrea Rendl Add to Reading List Source URL: www-circa.mcs.st-and.ac.uk Language: English - Date: 2009-08-13 07:00:50 Computing Constraint satisfaction Constraint Constraint logic programming Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
504	The Interaction of Representation and Reasoning Alan Bundy School of Informatics, University of Edinburgh UK Ontology Network Meeting Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2013-04-10 08:08:24 Automated theorem proving Logic programming Unification
505	Flow Free – a programming competition http://spivey.oriel.ox.ac.uk/comp2012 This competition is open to all current Oxford undergraduates, with cash prizes of £600 generously provided by Morgan Stanley. The competitio Add to Reading List Source URL: spivey.oriel.ox.ac.uk Language: English - Date: 2012-11-01 09:42:04 Computing Data differencing Diff Pattern matching Puzzles Numberlink Board puzzles with algebra of binary variables Crossword Mathematics Games Logic puzzles
506	A Third Look At Prolog Chapter Twenty-Two Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:47:47 Prolog Programming language Conditional Logic programming Prolog syntax and semantics Programming language theory Software engineering Computing
507	Code Factoring in GCC Gábor Lóki, Ákos Kiss, Judit Jász, and Árpád Beszédes Department of Software Engineering Institute of Informatics University of Szeged, Hungary {loki,akiss,jasy,beszedes}@inf.u-szeged.hu Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Algorithm Mathematical logic Theoretical computer science GNU Compiler Collection C Compiler optimization Software Computing Computer programming
508	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
509	The Impact of Memory Models on Software Reliability in Multiprocessors Alexander Jaffe Thomas Moscibroda Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2011-05-12 02:28:58 Transaction processing Computer memory Compiler construction Concurrency Programming language design Linearizability Parallel computing Thread Java Memory Model Computing Logic Software engineering
510	eTaSL/eTC: A constraint-based Task Specification Language and Robot Controller using Expression Graphs Erwin Aertbeli¨en and Joris De Schutter Abstract— This paper presents a new framework for constraint-based task sp Add to Reading List Source URL: www.factory-in-a-day.eu Language: English - Date: 2015-03-26 05:06:07 Computer programming Mathematical optimization Constraint satisfaction Operations research Quadratic programming Slack variable Ada Constraint Composite Graph Constraint logic programming Constraint programming Software engineering Computing

UPDATE